direct product of mappings

映射的直积